perm filename CCLOAD.INI[MAC,LSP]10 blob
sn#456990 filedate 1979-07-11 generic text, type T, neo UTF8
;;; CCLOAD -*-LISP-*-
;;; **************************************************************
;;; ***** Maclisp ****** CCLOAD - Loader for COMPLR **************
;;; **************************************************************
;;; ** (c) Copyright 1979 Massachusetts Institute of Technology **
;;; ****** this is a read-only file! (all writes reserved) *******
;;; **************************************************************
(COMMENT CORE 80. BPS 62000.)
;This will compose a MACLISP compiler from the following files:
; LISP; BACKQ FASL (BACKQ.FAS on TOPS-10 systems)
; LISP; DEFMAC FASL (DEFMAC.FAS on TOPS-10 systems)
; LISP; DEFMAX FASL (DEFMAX.FAS on TOPS-10 systems)
; LISP; GETMID FASL (GETMID.FAS on TOPS-10 systems)
; LISP; LET FASL (LET.FAS on TOPS-10 systems, except for
; Stanford system where not used)
; COMLAP;COMPLR FASL (COMPLR.FAS on TOPS-10 systems)
; PHAS1 FASL (PHAS1.FAS on TOPS-10 systems)
; COMAUX FASL (COMAUX.FAS on TOPS-10 systems)
; INITIA FASL (INITIA.FAS on TOPS-10 systems)
; MAKLAP FASL (MAKLAP.FAS on TOPS-10 systems)
; FASLAP FASL (FASLAP.FAS on TOPS-10 systems)
; [ 663CF FASL] ;assuming COMPLR version 663
; [ 263FF FASL] ;assuming FASLAP version 223
;Additionally, a gc-daemon and many other help files are loaded in the
; SAIL version.
;Ordinarily, this file will be used as an "INIT" file, but it can be
; directly loaded into a running lisp, using any of LOAD, or UREAD.
;It will ask a question regarding "PURE" and the answer means
; <SPACE> or "1", use 1 UUOLINK page [in new scheme, merely
; equivalent to (SSTATUS UUOLI)]
; T pure load, but no UUOLINKS
; N regular FASLOAD
; X (SSTATUS FEATURE XC), this is implicitly
; done if (STATUS FEATURE EXPERIMENTAL)
;However, in the DEC10 2-segment variety, there is no question asked -
; it always sets PURE to -1 and fasloads into the hisegment. Similarly,
; for DEC20 versions and 1-segment DEC10 versions, it just sets PURE to 1
; and fasloads away.
;Ordinarily the result will be :PDUMPI'd (by SUSPEND) as
; COMLAP;CL.DMP <complrverno> [there is a link on SYS for TS COMPLR
; to COMLAP;CL.DMP >]
;However, if there is no UUOLINKS page, or the compiler is experimental,
; they will go out on JONL directory. Thus there is a link for XCOMPLR to
; JONL;XC.DMP >
;;; Following code must come before everything else, so that only the
;;; important symbols get on the copy of the initial OBARRAY.
;;; PURCOPYs the buckets of the initial OBARRAY copy.
((LAMBDA (N READTABLE)
(AND (STATUS FEATURE SAIL)
(PROG2 (FASLOAD (DSK (MAC LSP)) MATCH FAS)
(FASLOAD (DSK (MAC LSP)) STRING FAS)))
(SETQ IREADTABLE READTABLE)
(SETQ IOBARRAY (ARRAY () OBARRAY '() )) ;Make pure copy of
(DO I 0 (1+ I) (= I N) ; original obarray
(STORE (ARRAYCALL T IOBARRAY I) (PURCOPY (OBARRAY I))))
'*)
(- (CADR (ARRAYDIMS 'OBARRAY)) 129.)
(ARRAY () READTABLE 'T))
(PROG (PURESEG)
(SETQ SAIL-MORE-SYSFUNS '(DEFUN/&-CHECK-ARGS) )
(SETQ *RSET () NOUUO () NORET 'T)
(SETQ CCLOAD:PUTPROP PUTPROP CCLOAD:PURE PURE)
(PROG (GL LVRL TIME RUNTIME PUTPROP PURE
ALARMCLOCK SLOTX REGACS NUMACS MODELIST FASLOAD
UNSFLST FXPDL REGPDL NLNVTHTBP *PURE
CCLOAD:CLOCK-SLOWDOWN CCLOAD:CLOCK-INTERVAL CCLOAD:CLOCK-EPSILON
CCLOAD:TIME-TEMP CCLOAD:OTIME-TEMP CCLOAD:FLUSH-TTY CCLOAD:DEV-DIR
)
(SETQ RUNTIME (RUNTIME) TIME (TIME) FXPDL (STATUS FEATURE NOLDMSG)
*PURE 'T PURE CCLOAD:PURE
PUTPROP (APPEND '(STATUS SSTATUS INST INSTN IMMED CARCDR NUMBERP
ARITHP NOTNUMP CONTAGIOUS COMMU ACS CONV MINUS
BOTH FLOATI P1BOOL1ABLE FUNTYP-INFO ARGS)
CCLOAD:PUTPROP))
(SSTATUS FEATURE NOLDMSG)
(ALLOC '(FIXNUM (2048. 10240. .25) FLONUM (256. 4096. .10)
BIGNUM (256. 4096. .10) SYMBOL (1536. 8192. .25)
ARRAY (64. 1024. 64.) ))
(AND (STATUS FEATURE ITS) (ALLOC '(LIST (14336. 40960. .35))))
(COMMENT
;SLOTX holds either NUMACS or REGACS, to hac the ALARMCLOCK
; (NUMACS) turns ALARMCLOCK feature on
; (REGACS) turns it off
;RUNTIME is the RUNTIME before beginning
;TIME is the realTIME before beginning
;CCLOAD:CLOCK-INTERVAL is the interval between alarm rings,
;CCLOAD:CLOCK-EPSILON is the epsilonics - two tics within a
; realtime of less than CCLOAD:CLOCK-EPSILON cause the
; second to be ignored.
;CCLOAD:CLOCK-SLOWDOWN is the time at which the interval should
; be slowed, [i.e., doubled] we want alarms less often as
; time goes by
;CCLOAD:TIME-TEMP is a temporary time holder
;CCLOAD:FLUSH-TTY causes a veto on message printers
)
(SETQ ↑Q () )
(COND ((OR (STATUS FEATURE DEC20) (AND (STATUS NOFEATURE SAIL)
(STATUS FEATURE DEC10)))
(SETQ PURE (COND ((OR (STATUS FEATURE DEC20)
(STATUS FEATURE ONESEGMENT))
+1)
(-1)))
(GO B)))
A (PRINC '|/
PURE = (type ? for help) | TYO)
(CLEAR-INPUT TYI)
(COND ((MEMQ (SETQ PURE (CDR (ASSQ (READCH TYI () )
'((/1 . 1) (/ . / ) (/? . /?)
(/U . U) (/u . U)
(/T . T) (/N . N ) (/X . XC)
(/t . T) (/n . N ) (/x . XC) ))))
'(/? () ))
(AND (NULL PURE) (PRINC '|/
;Not acceptable, try again!/
|))
(AND (OR (STATUS FEATURE ITS)
(STATUS FEATURE DEC20)
(STATUS FEATURE SAIL))
(PRINC '|/
; <space> Same as "1" below |))
(PRINC '|/
; 1 Use the UUOLINKS table for function-to-function calls/
; and prepare for making code read-only ("pure" loading)/
; N Regular FASLOADing, fun-to-fun linkage by PUSHJ P,.../
; T Pure loading, but no UUOLINKS/
; U Pure loading, but with UUOLINKS/
| TYO)
(AND (STATUS FEATURE ITS) (PRINC '|/
; X Do (SSTATUS FEATURE XC), "pure" load using UUOLINKs /
; this is for creating an experimental compiler/
| TYO))
(GO A))
((AND (EQ PURE '/ )
(OR (STATUS FEATURE ITS)
(STATUS FEATURE DEC20)
(STATUS FEATURE SAIL)))
(SETQ PURE (COND ((STATUS FEATURE ITS)
(CURSORPOS () 25.)
(PRINC '| 1 | TYO)
1)
('T (PRINC '|1 |)
(COND ((STATUS FEATURE SAIL) 1)
(-1))))))
((FIXP PURE)
(SETQ PURE (COND ((AND (STATUS FEATURE DEC10)
(NOT (STATUS FEATURE SAIL)))
-1)
(1))))
((EQ PURE 'N) (SETQ PURE () ))
((AND (EQ PURE 'XC) (STATUS FEATURE ITS))
(SSTATUS FEATURE XC)
(SETQ PURE 1))
((EQ PURE 'T)
(SETQ PURE -1))
((EQ PURE 'U)
(SETQ PURE -1))
('T (PRINC '|/
You blew it!! Try again| TYO) (GO A) ))
(COND ((STATUS FEATURE SAIL)
(SETQ PURESEG (AND (FIXP PURE)(= PURE -1)))))
(AND (STATUS FEATURE EXPERIMENTAL)
(NOT (STATUS FEATURE XC))
(SSTATUS FEATURE XC))
(COND ((STATUS FEATURE ITS)
(SETQ CCLOAD:CLOCK-EPSILON 3.0)
(SETQ NUMACS '(LAMBDA () ;TURNS ALARM OFF
(ALARMCLOCK 'TIME -1)
(PRINC '|/
Clock-OFF | TYO)
(SETQ ALARMCLOCK () ↑W 'T CCLOAD:FLUSH-TTY 'T
SLOTX REGACS))
REGACS '(LAMBDA () ;TURNS ALARM ON
(SETQ ALARMCLOCK MODELIST ↑W () SLOTX NUMACS
CCLOAD:FLUSH-TTY () CCLOAD:CLOCK-SLOWDOWN 40.0
CCLOAD:CLOCK-INTERVAL 10.)
(PRINC '|/
Clock-ON | TYO)
(ALARMCLOCK 'TIME 1.))
MODELIST '(LAMBDA (VGO)
(COND (CCLOAD:FLUSH-TTY (ALARMCLOCK 'TIME -1))
('T (SETQ CCLOAD:TIME-TEMP (TIME))
(COND ((AND (NOT CCLOAD:FLUSH-TTY)
(> (-$ CCLOAD:TIME-TEMP
CCLOAD:OTIME-TEMP)
CCLOAD:CLOCK-EPSILON))
(TERPRI TYO)
(PRINC '|Using | TYO)
(SETQ CCLOAD:TIME-TEMP
(*QUO (- (RUNTIME) RUNTIME)
1.0E5) )
(PRINC (*QUO (FIX CCLOAD:TIME-TEMP)
10.0)
TYO)
(PRINC '| secs so far, out of | TYO)
(PRINC (*QUO (FIX (*$ (-$ (TIME) TIME) 10.0))
10.0)
TYO)
(PRINC '| | TYO)
(SETQ CCLOAD:TIME-TEMP (TIME))))
(COND ((> (-$ (SETQ CCLOAD:OTIME-TEMP CCLOAD:TIME-TEMP) TIME)
CCLOAD:CLOCK-SLOWDOWN)
(SETQ CCLOAD:CLOCK-SLOWDOWN
(*$ 2.0 CCLOAD:CLOCK-SLOWDOWN)
CCLOAD:CLOCK-INTERVAL
(* 2 CCLOAD:CLOCK-INTERVAL))))
(ALARMCLOCK 'TIME CCLOAD:CLOCK-INTERVAL))) ))
(SSTATUS TTYIN 30. '(LAMBDA (VGO VGOL) (FUNCALL SLOTX)))
(FUNCALL REGACS))) ;Sets up SLOTX, and starts ALARMCLOCK
B (SETQ CCLOAD:OTIME-TEMP (TIME))
(AND (NOT CCLOAD:FLUSH-TTY)
(PRINC '|/
(In LISP version | TYO)
(PRINC (STATUS LISPV) TYO)
(PRINC '|)|) TYO)
(OR (NOT (STATUS FEATURE ITS))
(NOT (STATUS HACTR))
(VALRET (COND ((OR (NOT (FIXP PURE))
(STATUS FEATURE XC))
'|↔≠/ :JCL/
XCOMPL≠≠J:VP |)
('|↔≠/ :JCL/
COMPLR≠≠J:VP |))))
(AND PURE (PAGEBPORG))
(SETQ CCLOAD:DEV-DIR (COND ((STATUS FEATURE ITS) '(DSK COMLAP))
((AND (STATUS FEATURE DEC20)
(PROBEF '((PS MACLISP) COMPLR FASL)))
'(PS MACLISP))
((STATUS FEATURE SAIL) '(DSK (MAC LSP)))
((LIST 'DSK (STATUS UDIR)))))
C (SETQ NLNVTHTBP (CONS CCLOAD:DEV-DIR '(* FASL)))
(AND (NOT (STATUS FEATURE ITS))
(NOT (PROBEF (CONS CCLOAD:DEV-DIR '(COMPLR FASL))))
(PROG2 (PRINC '|/
;Please set up "CCLOAD:DEV-DIR" to a list of the device and directory /
;names to use for the loading the COMPLR and FASLAP FASL files/
| TYO)
(BREAK ULUZ)
(GO C)))
(COND ((NULL (GETSP (COND ((SIGNP L PURE) 13000.)
((STATUS FEATURE SAIL) 51000.)
(44000.))))
(TERPRI)
(PRINC '|;Can't get enough Binary Program Space - You have lost badly!!|)
(TERPRI)
(BREAK ULUZ)
(GO C)))
;;; ### LOAD ALL AUTOLOAD FILES
(SETQ LVRL '(LAMBDA (REGPDL)
(COND ((GET (CAR REGPDL) (CADR REGPDL)))
((OR (AND (SETQ GL (GET (CAR REGPDL) 'AUTOLOAD))
(PROBEF GL))
(AND (SETQ GL (MERGEF NLNVTHTBP (CADDR REGPDL)))
(PROBEF GL)))
(COND ((NOT CCLOAD:FLUSH-TTY)
(TERPRI TYO)
(PRINC '|;Autoloading | TYO)
(PRINC (CADR GL) TYO)
(PRINC '| | TYO)
(PRINC (CADDR GL) TYO)
(PRINC '| for | TYO)
(PRINC (CAR REGPDL) TYO)))
(LOAD GL))
('T (PROG (↑Q ↑R ↑W)
(TERPRI)
(PRINC '/;)
(PRINC (CAR REGPDL))
(PRINC '| has not been defined. Please load |)
(PRINC (CADDR REGPDL))
(PRINC '| file, and resume by <altmode>P |)
(BREAK WAIT-FOR-LOADING)) ))))
(COND ((STATUS FEATURE SAIL)
(HELP)
(FUNCALL LVRL '(GC-OVERFLOW-DAEMON SUBR DEMON))
(SETQ GC-OVERFLOW 'GC-OVERFLOW-DAEMON)
(DEFUN SAVE-COMPILER (GL)
(CDUMP (MAKNAM (APPEND (EXPLODEN '|SAVE |)
(EXPLODEN GL)))))))
(MAPC LVRL '( (LET MACRO LET)
(|+INTERNAL-`-macro/|| SUBR BACKQ)
(MACROMEMO MACRO DEFMAX)
(DEFMACRO MACRO DEFMAC)
(GETMIDASOP SUBR GETMID) ))
;;; ### LOADING MAIN COMPLR FILES
(SETQ LVRL '(LAMBDA (REGPDL)
(COND ((PROBEF (SETQ GL (CONS CCLOAD:DEV-DIR
(COND ((ATOM REGPDL)
(CONS REGPDL '(FASL)))
(REGPDL)))))
(COND ((NOT CCLOAD:FLUSH-TTY)
(TERPRI TYO)
(PRINC '| Fazloading |)
(PRINC REGPDL TYO)
(PRINC '| FASL | TYO)))
(LOAD GL)
(COND ((AND (NOT CCLOAD:FLUSH-TTY)
(SETQ GL (COND ((EQ REGPDL 'FASLAP)
'FASLVERNO)
((IMPLODE
(NCONC
(EXPLODEC REGPDL)
'(V E R N O))))))
(BOUNDP GL)
(SETQ GL (SYMEVAL GL)))
(TERPRI TYO)
(PRINC '| (|)
(PRINC REGPDL TYO)
(PRINC '| version number | TYO)
(PRINC GL TYO)
(PRINC '|) | TYO) )))
('T (PROG (↑Q ↑R ↑W)
(TERPRI)
(PRINC '/;)
(PRINC (CAR REGPDL))
(PRINC '| FASL has not been found. Please load it, and resume by <altmode>P |)
(BREAK ULUZ-BUNKIE))))))
(MAPC LVRL '(COMPLR PHAS1 COMAUX FASLAP MAKLAP INITIA))
(AND (PROBEF (LIST CCLOAD:DEV-DIR
(SETQ GL (MAKNAM (NCONC (EXPLODEN COMPLRVERNO)
'(C F))))
'FASL))
(FUNCALL LVRL GL))
(AND (PROBEF (LIST CCLOAD:DEV-DIR
(SETQ GL (MAKNAM (NCONC (EXPLODEN COMPLRVERNO)
'(F F))))
'FASL))
(FUNCALL LVRL GL))
(COND ((STATUS FEATURE SAIL)
((LAMBDA (PURE)
(FUNCALL LVRL (COND ((AND (EQ GL 'DIRECT)
(STATUS FEATURE DDT))
'(DIRECT DFA))
('(DIRECT FAS))))) ())
(MAPC LVRL '(EREAD MACROD NCOREQ LOADED))
(SETQ SAIL-MORE-SYSFUNS
(APPEND '(EREAD EOPEN ELOAD UGREAT1 REQUIRE EDIT CODE
MACRODEF MACROBIND TRANS TRANSDEF MAIL %MATCH
%CONTINUE %CONTINUE-MATCH %CHAR1 %MATCH-LOOKUP
GC-OVERFLOW-DAEMON %%EXPAND%% %%EXPAND1%% %%%STRING%%% )
SAIL-MORE-SYSFUNS))
(MAPC '(LAMBDA (X)
(COND ((GET (CAR X) 'AUTOLOAD)
(AND (CDDR X) (ARGS (CAR X) (CDDR X)))
(AND (CDR X) (PUTPROP (CAR X) (CDR X) 'FUNTYP-INFO)))))
'((EREAD FSUBR) (EOPEN LSUBR 0 . 4) (ELOAD SUBR () . 1)
(UGREAT1 SUBR () . 1) (REQUIRE FSUBR) (EDIT FSUBR)
(CODE FSUBR) (MAIL FSUBR))) ))
(COND ((NOT CCLOAD:FLUSH-TTY)
(TERPRI TYO)
(PRINC '|Initializing | TYO)))
(INITIALIZE)
(AND (STATUS FEATURE ITS) (ALARMCLOCK 'TIME -1))
(COND ((NOT CCLOAD:FLUSH-TTY)
(TERPRI TYO)
(PRINC '|Total Time = | TYO)
(PRINC (*QUO (FIX (*QUO (- (RUNTIME) RUNTIME) 1.0E5))
10.0)
TYO)
(PRINC '| secs out of | TYO)
(PRINC (*QUO (FIX (*$ (-$ (TIME) TIME) 10.0)) 10.0) TYO)
(TERPRI)))
(AND (NULL FXPDL) (SSTATUS NOFEATURE NOLDMSG))
(SETQ ALARMCLOCK () ↑Q () ↑W () ))
(INPUSH -1) ;Closes INIT file
(AND (FILEP UREAD) (CLOSE UREAD))
(AND (STATUS SSTATUS FLUSH) (SSTATUS FLUSH 'T))
(SETQ PUTPROP CCLOAD:PUTPROP)
(MAPC 'REMOB
(MAPCAR 'MAKUNBOUND
'(CCLOAD:CLOCK-SLOWDOWN CCLOAD:CLOCK-INTERVAL
CCLOAD:CLOCK-EPSILON CCLOAD:TIME-TEMP CCLOAD:DEV-DIR
CCLOAD:OTIME-TEMP CCLOAD:FLUSH-TTY CCLOAD:PUTPROP )))
(GCTWA)
(NORET () )
(PRINC (COND ((STATUS FEATURE DEC20) '|Ready to SAVE as COMPLR.EXE.|)
((NOT (STATUS FEATURE ITS))
'|Ready to SSAVE as COMPLR.SAV (or .SHR,.LOW)/
Version number = |)
((OR (NOT (FIXP PURE))
(STATUS FEATURE XC))
'|Dumping eXperimentalCOMPLr on JONL;XC.DMP |)
('T '|Dumping COMLAP;CL.DMP |))
TYO)
(PRINC COMPLRVERNO TYO)
(TERPRI)
(COND ((AND (STATUS FEATURE ITS) PURE) (PAGEBPORG) (PURIFY 0 0 'BPORG)))
(SETQ CCLOAD:PURE PURE PURE () )
(COND ((STATUS FEATURE ITS)
(CDUMP 0 (MAKNAM (NCONC (EXPLODEN (COND ((OR (NOT (FIXP CCLOAD:PURE))
(STATUS FEATURE XC))
'|DSK:JONL;XC.DMP |)
('T '|COMLAP;CL.DMP |)))
(PROG2 (MAKUNBOUND 'CCLOAD:PURE)
(EXPLODEN COMPLRVERNO))))))
('T (MAKUNBOUND 'CCLOAD:PURE)
(COND ((STATUS FEATURE SAIL)
(COND (PURESEG
(CDUMP '|save sys:bcompl|
'(bcompl shr sys (1 3))))
('T
(CDUMP '|Save sys:ncompl|))))
((CDUMP))) ))
)
β